$OpenBSD: patch-gnattools_Makefile_in,v 1.1.1.1 2016/09/04 16:20:18 pascal Exp $
--- gnattools/Makefile.in.orig	Thu Dec 12 23:50:07 2013
+++ gnattools/Makefile.in	Fri Feb 14 20:24:55 2014
@@ -52,7 +52,7 @@ WARN_CFLAGS = @warn_cflags@
 ADA_CFLAGS=@ADA_CFLAGS@
 
 # Variables for gnattools.
-ADAFLAGS= -gnatpg -gnata
+ADAFLAGS= -gnatpg -gnata -ftrampolines -Wtrampolines
 
 # For finding the GCC build dir, which is used far too much
 GCC_DIR=../gcc
